interactive proof system - Espagnol Anglais Dictionnaire